(watch all)
(reset)

(defrule forall-example
	(forall 
	)
)